More from this Author

Web Services and Formal Methods

by Roberto. Bruni (Editor), Karsten Wolf (Editor)

Trustworthy Global Computing

by Roberto. Bruni (Editor), Vladimiro Sassone (Editor)